NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems Haris Volos1 , Adam Welc2 , Ali-Reza Adl-Tabatabai2 , Tatiana Shpeisman2 , Xinmin Tian2 , and Ravi Narayanaswamy2 1

Source URL: www.adamwelc.org

• Computing
• Concurrent computing
• Concurrency control
• Transaction processing
• Computer programming
• Parallel computing
• Databases
• Concurrent programming languages
• OpenMP
• Software transactional memory
• Linearizability
• Lock

JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory Marek Olszewski, Jeremy Cutler, and J. Gregory Steffan Department of Electrical and Computer Engineering University of Toronto Toronto, Ontari

Source URL: www.eecg.toronto.edu

Design and Implementation of Transactional Constructs for C/C++ Yang Ni James Cownie Adam Welc Ali-Reza Adl-Tabatabai

Source URL: www.adamwelc.org

• Computing
• Software
• Transaction processing
• Concurrency control
• Programming language implementation
• Compiler construction
• Data management
• Software transactional memory
• Transactional memory
• Optimistic concurrency control
• Lock
• Isolation

Kicking the Tires of Software Transactional Memory: Why the Going Gets Tough Richard M. Yoo† Bratin Saha‡

Source URL: www.adamwelc.org

• Concurrency control
• Transaction processing
• Software transactional memory
• Transactional memory
• Lock
• Linearizability
• Parallel computing
• Monitor
• Non-blocking algorithm

Preemption-Based Avoidance of Priority Inversion for Java Adam Welc Antony L. Hosking Suresh Jagannathan

Source URL: www.adamwelc.org

• Computing
• Concurrency control
• Software engineering
• Software
• Synchronization
• Monitor
• Thread
• Lock
• Software transactional memory
• Mutual exclusion
• Non-blocking algorithm
• Scheduling

Be General and Don’t Give Up Consistency in Geo-Replicated Transactional Systems Alexandru Turcu, Sebastiano Peluso, Roberto Palmieri and Binoy Ravindran Virginia Tech {talex;peluso;robertop;binoy}@vt.edu

Source URL: www.hyflow.org

• Computing
• Transaction processing
• Data management
• Data
• Concurrency control
• Databases
• Fault-tolerant computer systems
• Serializability
• Consensus
• Software transactional memory
• Schedule
• Scalability

Software Transactional Memory Validation – Time and Space Considerations Adam Welc Bratin Saha

Source URL: www.adamwelc.org

• Transaction processing
• Concurrency control
• Data management
• Software transactional memory
• Database transaction
• Data validation
• Isolation
• Optimistic concurrency control
• Lock
• Linearizability
• Validation
• Transactional memory

Towards Transactional Memory Semantics for C++ Tatiana Shpeisman Ali-Reza Adl-Tabatabai Robert Geva

Source URL: www.adamwelc.org

• Computing
• Transaction processing
• Concurrency control
• Data management
• Data
• Serializability
• Transactional memory
• Linearizability
• Software transactional memory
• Lock
• Atomicity
• Database transaction

Optimistic Transactional Boosting Ahmed Hassan Roberto Palmieri Binoy Ravindran

Source URL: www.hyflow.org

• Concurrency control
• Transaction processing
• Data management
• Software transactional memory
• Transactional memory
• Lock
• Optimistic concurrency control
• Non-blocking algorithm
• Data
• Parallel computing
• Isolation
• Concurrent data structure

PDF Document

Source URL: www.adamwelc.org

• Computing
• Transaction processing
• Concurrency control
• Data management
• Software
• Transactional memory
• Software transactional memory
• Lock
• Linearizability
• Synchronization
• Mutual exclusion
• Isolation